Theoretical computer science - PDFSEARCH.IO - Document Search Engine

Theoretical computer science
Results: 9916

#	Item
351	Convergence of Hypervolume-Based Archiving Algorithms II: Competitiveness Submission to GECCO Track “Evolutionary Multiobjective Optimization (EMO)” ABSTRACT We study the convergence behavior of (µ + λ)-archiving a Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2016-01-03 06:45:34 Mathematics Algorithm Mathematical logic Theoretical computer science Mu Greedy algorithm Online algorithm Discrete mathematics
352	View Online / Journal Homepage / Table of Contents for this issue C Energy & Environmental Science Add to Reading List Source URL: angenent.bee.cornell.edu Language: English - Date: 2014-05-03 20:35:05 Biology Logic gates Bacteria Microbiology Bacteriology Models of computation Digital systems Natural computing Theoretical computer science Autoinducer DNA computing Quorum sensing
353	CS261: Exercise Set #8 For the week of February 22–26, 2016 Instructions: (1) Do not turn anything in. (2) The course staff is happy to discuss the solutions of these exercises with you in office hours or on Piazza. Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2016-02-26 12:53:21 Mathematics Computational complexity theory Graph theory NP-complete problems Operations research Travelling salesman problem Theoretical computer science Approximation algorithm Steiner tree problem Greedy algorithm Optimization problem Set cover problem
354	This article has been accepted for inclusion in a future issue of this journal. Content is final as presented, with the exception of pagination. IEEE TRANSACTIONS ON POWER SYSTEMS 1 Phase Balancing Using Energy Storage Add to Reading List Source URL: www.comm.utoronto.ca Language: English - Date: 2016-02-29 23:17:52 Mathematics Combinatorics Discrete mathematics Algorithm Mathematical logic Theoretical computer science Greedy algorithm Program optimization Electric power quality Mathematical optimization
355	On the Optimization of Monotone Polynomials by Simple Randomized Search Heuristics Ingo Wegener Carsten Witt Add to Reading List Source URL: ls2-www.cs.uni-dortmund.de Language: English - Date: 2007-02-02 06:14:41 Markov processes Graph theory Markov chain NC Mathematics Theoretical computer science Mathematical analysis
356	To appear in MFCSAvailable online from http://www.cl.cam.ac.uk/∼ljw1004 Explicit Fusions Philippa Gardner and Lucian Wischik∗ June 2000 Add to Reading List Source URL: www.wischik.com Language: English - Date: 2001-08-20 15:52:59 Theoretical computer science Mathematical logic Logic Formal methods Logic in computer science Process calculi -calculus Computability theory Process calculus Lambda calculus Bisimulation Calculus
357	Analysis and Specialisation of Imperative Programs: An approach using CLP Julio C. Peralta Estrada A thesis submitted to the University of Bristol in accordance with the Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Theoretical computer science Programming paradigms Software engineering Logic in computer science Declarative programming Programming language semantics Constraint programming Logic programming Operational semantics Imperative programming CLP Programming language
358	Organizing Committee General Co-Chairs Kay Chen Tan, Singapore Gary G. Yen, USA IJCNN Conference Chair Pablo A. Estevez, Chile Add to Reading List Source URL: wcci2016.org Language: English - Date: 2016-02-13 02:04:47 Evolutionary computation IEEE Congress on Evolutionary Computation Piscataway New Jersey Institute of Electrical and Electronics Engineers Computational intelligence Theoretical computer science Cognitive science Jacek M. Zurada
359	Conservation Laws in Rectangular CA T IM B OYKETT12 , JARKKO K ARI3?, S IAMAK TAATI43 1 2 Add to Reading List Source URL: www.staff.science.uu.nl Language: English - Date: 2011-12-30 16:36:22 Algebra Abstract algebra Mathematics Algebraic structures Semigroup theory Idempotence Theoretical computer science Band Conservation law Idempotent Semigroup
360	Reverse Hoare Logic? Edsko de Vries and Vasileios Koutavas Trinity College Dublin, Ireland {Edsko.de.Vries,Vasileios.Koutavas}@cs.tcd.ie Abstract. We present a novel Hoare-style logic, called Reverse Hoare Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-02 06:27:04 Logic Theoretical computer science Mathematics Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Hoare logic Predicate transformer semantics Permutation Closed and exact differential forms

UPDATE